dedekind axiom

绰金公理